home *** CD-ROM | disk | FTP | other *** search
/ ASME's Mechanical Engine…ing Toolkit 1997 December / ASME's Mechanical Engineering Toolkit 1997 December.iso / ai / prlg195b.lzh / LOGIC.LZH / SKOLEM.OPS < prev    next >
Text File  |  1986-11-07  |  384b  |  12 lines
  1. op(30,fx,'~').
  2. op(100,xfy,'#').
  3. op(100,xfy,'&').
  4. op(150,xfy,'->').
  5. op(150,xfy,'<->').
  6. consult(skolem).
  7. translate(all(X,s(X)<->exists(Y,e(X,Y)))).
  8. translate(all(X,h(X)->(exists(Y,m(X,Y)))&(exists(Z,f(X,Z))))).
  9. translate(exists(X,s(X))).
  10. see(user).
  11.  
  12.